Causal-semantic-based Simulation and Validation of High-level Petri Nets
نویسندگان
چکیده
This contribution describes a simulation concept for systems modelled by high level Petri nets that is based on causal semantics. Dynamic properties can be checked by evaluating these partially-ordered simulation runs. It will be shown that this approach is not only more eecient but also has more analytical power than the classicall simulation method based on sets of totally-ordered transition occurrences.
منابع مشابه
A partial-order-based simulation and validation approach for high-level Petri nets
This contribution describes a simulation concept for systems modelled by high-level Petri nets based on partial-order semantics. The main advantage of this approach is its ability to represent and visualize causal dependencies and concurrency explicitly and to give the user a much more intuitive insight into the dynamic behaviour of the modelled system. Additionally, the paper describes how sys...
متن کاملA rule-based evaluation of ladder logic diagram and timed petri nets for programmable logic controllers
This paper describes an evaluation through a case study by measuring a rule-based approach, which proposed for ladder logic diagrams and Petri nets. In the beginning, programmable logic controllers were widely designed by ladder logic diagrams. When complexity and functionality of manufacturing systems increases, developing their software is becoming more difficult. Thus, Petri nets as a high l...
متن کاملFuzzy Petri Nets for Human Behavior Verification and Validation
Regarding the rapid growth of the size and complexity of simulation applications, designing applicable and affordable verification and validation (V&V) structures is an important problem. On the other hand, nowadays human behavior models are principles to make decision in many simulations and in order to have valid decisions based on a reliable human decision model, first the model must pass th...
متن کاملAlgorithms for High Level Petri Nets Simulation and Rule-based Systems
This paper presents a way for implementing the dynamic semantics of High Level Petri Nets by using a modified version of RETE algorithm. To do this, a rule-based language for High Level Petri Nets specifications is described. First a connection between rule-based systems and High Level Petri Nets is presented, and it is sown then that for every Petri net, a rule-based system exists, which is se...
متن کاملAutomatic Translation of Ada-ECATNet Using Rewriting Logic
One major difficulty that faces developers of concurrent and distributed software is analysis for concurrency based faults like deadlocks. Petri nets are used extensively in the verification of correctness of concurrent programs. ECATNets are a category of algebraic Petri nets based on a sound combination of algebraic abstract types and high-level Petri nets. ECATNets have 'sound' and 'complete...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1997